Commitment and Argument Network: A New Formalism for Agent Communication

نویسندگان

  • Jamal Bentahar
  • Bernard Moulin
  • Brahim Chaib-draa
چکیده

This paper proposes a formal framework which offers an external representation of conversations between conversational agents. Using this formalism allows us: (1) to represent the dynamics of conversations between agents; (2) to analyze conversations; (3) to help autonomous agents to take part in consistent conversations. The proposed formalism, called “commitment and argument network”, uses a combined approach based on commitments and arguments. Commitments are used to capture the social and the public aspect of conversations. Arguments on the other side are used to capture the reasoning aspect. We also propose a layered communication model in which the formalism and the approach take place.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Commitment and Argument Network: a formal framework for representing conversation dynamics

In the area of agent communication and dialogue processing, several researchers have dealt with dialogue modeling, semantics and conversational frameworks (conversation policies and dialogue games). However, few works have explored the representation of conversation dynamics. This paper presents a new formalism “commitment and argument network” (CAN) that provides an external representation of ...

متن کامل

A Pragmatic and Semantic Unified Framework for Agent Communication

In this thesis, we propose a unified framework for the pragmatics and the semantics of agent communication. Pragmatics deals with the way agents use communicative acts when conversing. It is related to the dynamics of agent interactions and to the way of connecting individual acts while building complete conversations. Semantics is interested in the meaning of these acts. It lays down the found...

متن کامل

Towards a formal framework for conversational agents

This paper proposes a formal framework which offers an external representation of conversations between conversational agents. Using this formalism allows us: (1) to represent the dynamics of conversations between agents; (2) to analyze conversations; (3) to help autonomous agents to take part in consistent conversations. The proposed formalism, called “commitment and argument network”, uses a ...

متن کامل

A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication

In this paper, we propose a new tableau-based model checking technique for verifying dialogue game protocols for agent communication. These protocols are defined using our social commitment-based framework for agent communication called Commitment and Argument Network (CAN). We use a variant of CTL* (ACTL*) for specifying these protocols and the properties to be verified. This logic extends CTL...

متن کامل

A new virtual leader-following consensus protocol to internal and string stability analysis of longitudinal platoon of vehicles with generic network topology under communication and parasitic delays

In this paper, a new virtual leader following consensus protocol is introduced to perform the internal and string stability analysis of longitudinal platoon of vehicles under generic network topology. In all previous studies on multi-agent systems with generic network topology, the control parameters are strictly dependent on eigenvalues of network matrices (adjacency or Laplacian). Since some ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003